Vienna Development Method - PDFSEARCH.IO - Document Search Engine

Vienna Development Method
Results: 24

#	Item
11	Code of Conduct 1. Purpose 1.1 Add to Reading List Source URL: www.vdmgroup.com.au Language: English - Date: 2012-11-13 16:17:00 Business ethics Serv Science Knowledge Vienna Development Method Ethology Formal methods VDM Publishing Software development process
12	Acta Informatica 21, Springer-Verlag 1984 A Set-Theoretic Semantics for Clear D.T. Sannella Department of Computer Science,University of Edinburgh. James Clerk Maxwell Building, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-08-20 12:26:38 Mathematical structures Algebraic structures Model theory Denotational semantics Structure Sheaf ALGOL 68 Universal algebra Vienna Development Method Mathematics Abstract algebra Algebra
13	Partial Functions Approaches An Introduction to the Logic of Partial Functions Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:29 Semantics Model theory Boolean algebra Formal methods Computability theory Interpretation Truth table First-order logic Vienna Development Method Mathematical logic Mathematics Logic
14	An outline of a proposed system that learns from experts how to discharge proof obligations automatically (extended abstract) Alan Bundy1 , Gudmund Grov1,2 , and Cliff B. Jones2 1 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Mathematical logic Constructive proof Theorem Rippling Reification Vienna Development Method Logic Mathematics Mathematical proofs
15	Rail, Space, Security: Three Case Studies for SPARK 2014 Claire Dross4 , Pavlos Efstathopoulos1 , David Lesens2 , David Mentr´e3 and Yannick Moy4 1: Altran UK Limited, 22 St Lawrence Street, Bath BA1 1AN (United Kingdom Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-05 09:31:12 Ada programming language SPARK Ada Monitor Formal methods Subroutine Vienna Development Method Computing Software engineering Computer programming
16	40 Years of Formal Methods Some Obstacles and Some Possibilities ? Dines Bjørnerα and Klaus Havelundβ,0 α Fredsvej 11, DK-2840 Holte, Danmark Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2014-04-04 08:14:48 Software engineering Vienna Development Method Formal specification B-Method Specification language Software development methodology Dines Bjørner Software development process Static program analysis Formal methods Computing Software development
17	Noname manuscript No. (will be inserted by the editor) Tool Support for Refinement of Non-functional Specifications Simone R¨ottger, Steffen Zschaler Technische Universit¨at Dresden Add to Reading List Source URL: www.steffen-zschaler.de Language: English - Date: 2007-04-16 11:33:34 Information integration theory Social psychology Architecture description language Monad Systems engineering Model-driven architecture Vienna Development Method Combinatory logic Software engineering Design Cognition
18	Advances in Programming Languages APL14: Practical tools for Java Correctness David Aspinall (slides originally by Ian Stark) School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-12 12:50:26 Java Modeling Language Java platform ESC/Java Vienna Development Method Java Class invariant E Computing Software engineering Computer programming
19	Automated Data Exchange Documentation Student October File Layout _News_and_Updates_ \l "filelayout" File Layout Add to Reading List Source URL: cdeapps.cde.state.co.us Language: English - Date: 2013-09-05 19:25:57 HTML Programming language theory Code Cryptography C HTML element Vienna Development Method Computing Software engineering Procedural programming languages
20	Unifying Hybrid Types and Contracts Jessica Gronski and Cormac Flanagan University of California Santa Cruz Abstract Contract systems and hybrid type systems provide two alternative approaches for enforcing precisely-def Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-03-10 14:23:12 Formal methods C programming language C syntax Source code Sheaf Valuation ALGOL 68 Lambda calculus Vienna Development Method Abstract algebra Computing Software engineering

UPDATE